Hanna Klaudel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Compositional high-level Petri net semantics of a parallel programming language with procedures

Journal:

Science of Computer Programming

Year:

2001

Language:

english

File:

PDF, 608 KB

english, 2001

2

M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages

Eike Best, Wojciech Frączak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz

Journal:

Acta Informatica

Year:

1998

Language:

english

File:

PDF, 539 KB

english, 1998

3

VerifCar: a framework for modeling and model checking communicating autonomous vehicles

Arcile, Johan, Devillers, Raymond, Klaudel, Hanna

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

2019

Language:

english

File:

PDF, 867 KB

english, 2019

4

Integrated regulatory networks (IRNs): Spatially organized biochemical modules

Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 518 KB

english, 2012

5

Nijmegen Breakage Syndrome: Clinical and Immunological Features, Long-Term Outcome and Treatment Options – a Retrospective Analysis

Wolska-Kuśnierz, Beata, Gregorek, Hanna, Chrzanowska, Krystyna, Piątosa, Barbara, Pietrucha, Barbara, Heropolitańska-Pliszka, Edyta, Pac, Małgorzata, Klaudel-Dreszler, Maja, Kostyuchenko, Larysa, Pasi

Journal:

Journal of Clinical Immunology

Year:

2015

Language:

english

File:

PDF, 845 KB

english, 2015

6

Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks

Arcile, Johan, Devillers, Raymond, Klaudel, Hanna, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 491 KB

2020

7

ITL semantics of composite Petri nets

Duan, Zhenhua, Klaudel, Hanna, Koutny, Maciej

Journal:

The Journal of Logic and Algebraic Programming

Year:

2013

Language:

english

File:

PDF, 514 KB

english, 2013

8

M-nets: a survey

Hanna Klaudel, Franck Pommereau

Journal:

Acta Informatica

Year:

2008

Language:

english

File:

PDF, 919 KB

english, 2008

9

Common Variable Immune Deficiency in Children—Clinical Characteristics Varies Depending on Defect in Peripheral B Cell Maturation

Piątosa, Barbara, Pac, Małgorzata, Siewiera, Katarzyna, Pietrucha, Barbara, Klaudel-Dreszler, Maja, Heropolitańska-Pliszka, Edyta, Wolska-Kuśnierz, Beata, Dmeńska, Hanna, Gregorek, Hanna, Sokolnicka,

Journal:

Journal of Clinical Immunology

Year:

2013

Language:

english

File:

PDF, 484 KB

english, 2013

10

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Modelling Mobility in High-level Petri Nets

Devillers, Raymond, Klaudel, Hanna, Koutny, Maciej

Year:

2007

Language:

english

File:

PDF, 256 KB

english, 2007

11

A compositional Petri net translation of generalπ-calculus terms

Raymond Devillers, Hanna Klaudel, Maciej Koutny

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 797 KB

english, 2008

12

[ACM Press the 8th International Conference - Trento, Italy (2010.09.29-2010.10.01)] Proceedings of the 8th International Conference on Computational Methods in Systems Biology - CMSB '10 - Discrete causal model view of biological networks

Delaplace, Franck, Klaudel, Hanna, Cartier-Michaud, Amandine

Year:

2010

Language:

english

File:

PDF, 868 KB

english, 2010

13

From Box Algebra to Interval Temporal Logic

Klaudel, Hanna, Koutny, Maciej, Duan, Zhenhua, Moszkowski, Ben

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 499 KB

english, 2019

14

[IEEE 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW) - Ann Arbor, MI, USA (2011.10.3-2011.10.7)] 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops - State Space Exploration of Spatially Organized Populations of Agents

Dautriche, Antoine, Giavitto, Jean-Louis, Klaudel, Hanna, Pommereau, Franck

Year:

2011

Language:

english

File:

PDF, 747 KB

english, 2011

15

Networks and Games for Precision Medicine

Biane, Célia, Delaplace, Franck, Klaudel, Hanna

Journal:

Year:

2016

Language:

english

File:

PDF, 520 KB

english, 2016

16

Activity Networks with Delays an Application to Toxicity Analysis

Delaplace, Franck, Di Giusto, Cinzia, Giavitto, Jean-Louis, Klaudel, Hanna, Spicher, Antoine, Gambin, Anna, Heiner, Monika

Journal:

Fundamenta Informaticae

Year:

2018

File:

PDF, 569 KB

2018

17

Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters

Franck Pommereau, Raymond Devillers, Hanna Klaudel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 301 KB

english, 2009

18

[IEEE 2008 IEEE Virtual Reality Conference - Reno, NV, USA (2008.03.8-2008.03.12)] 2008 IEEE Virtual Reality Conference - MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata

Didier, Jean-Yves, Djafri, Bachir, Klaudel, Hanna

Year:

2008

Language:

english

File:

PDF, 122 KB

english, 2008

19

[IEEE 2016 16th International Conference on Application of Concurrency to System Design (ACSD) - Torun, Poland (2016.6.19-2016.6.24)] 2016 16th International Conference on Application of Concurrency to System Design (ACSD) - From Petri Nets with Shared Variables to ITL

Klaudel, Hanna, Koutny, Maciej, Moszkowski, Ben

Year:

2016

Language:

english

File:

PDF, 238 KB

english, 2016

20

Activity Networks with Delays an Application to Toxicity Analysis

Delaplace, Franck, Di Giusto, Cinzia, Giavitto, Jean-Louis, Klaudel, Hanna, Spicher, Antoine, Gambin, Anna, Heiner, Monika

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 569 KB

english, 2018

21

[AIP INTELLIGENT SYSTEMS AND AUTOMATION: 1st Mediterranean Conference on Intelligent Systems and Automation (CISA 08) - Annaba (Algeria) (30 June–2 July 2008)] AIP Conference Proceedings - Modeling and analyzing mixed reality applications using timed automata

Didier, Jean-Yves, Djafri, Bachir, Klaudel, Hanna, Arioui, Hichem, Merzouki, Rochdi, Abbassi, Hadj Ahmed

Year:

2008

Language:

english

File:

PDF, 1.26 MB

english, 2008

22

VerifCar: a framework for modeling and model checking communicating autonomous vehicles

Arcile, Johan, Devillers, Raymond, Klaudel, Hanna

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

2019

File:

PDF, 867 KB

2019

23

A Petri Net Semantics of a Simple Process Algebra for Mobility

Raymond Devillers, Hanna Klaudel, Maciej Koutny

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 468 KB

english, 2006

24

[IEEE 2014 IEEE 25th International Symposium on Software Reliability Engineering (ISSRE) - Naples, Italy (2014.11.3-2014.11.6)] 2014 IEEE 25th International Symposium on Software Reliability Engineering - Deadlock and Temporal Properties Analysis in Mixed Reality Applications

Devillers, Raymond, Didier, Jean-Yves, Klaudel, Hanna, Arcile, Johan

Year:

2014

Language:

english

File:

PDF, 270 KB

english, 2014

25

[IEEE 2009 24th International Symposium on Computer and Information Sciences (ISCIS) - Guzelyurt, Cyprus (2009.09.14-2009.09.16)] 2009 24th International Symposium on Computer and Information Sciences - An approach to state space reduction for systems with dynamic process creation

Klaudel, Hanna, Koutny, Maciej, Pelz, Elisabeth, Pommereau, Franck

Year:

2009

Language:

english

File:

PDF, 168 KB

english, 2009

26

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Implementing Timed Automata Specifications: The "Sandwich" Approach

Devillers, Raymond, Didier, Jean-Yves, Klaudel, Hanna

Year:

2013

Language:

english

File:

PDF, 404 KB

english, 2013

27

Incremental and unifying modelling formalism for biological interaction networks

Anastasia Yartseva, Hanna Klaudel, Raymond Devillers, François Képès

Journal:

BMC Bioinformatics

Year:

2007

Language:

english

File:

PDF, 4.44 MB

english, 2007

28

General parameterised refinement and recursion for the M-net calculus

Raymond Devillers, Hanna Klaudel, Robert-C Riemann

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 736 KB

english, 2003

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски